Nuprl Definition : w-atom-constraint
11,40
postcript
pdf
w-atom-constraint(
w
) == True
latex
clarification:
w-atom-constraint{i:l}(
w
) == True
latex
Definitions
True
FDL editor aliases
w-atom-constraint
origin